M. Kikuchi, T. Kurahashi; "Gödelの不完全性定理を巡る三つの断章"
https://www.jstage.jst.go.jp/article/kisoron/38/2/38_KJ00007475728/_article/-char/ja/
https://www.jstage.jst.go.jp/article/kisoron/38/2/38_KJ00007475728/_pdf/-char/ja
参考文献
菊池誠
，
倉橋 太志